Basic research - PDFSEARCH.IO - Document Search Engine

Basic research
Results: 2119

#	Item
671	BRICS RSAceto & Ing´olfsd´ottir: The Saga of the Axiomatization of Parallel Composition BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-07-04 18:40:22 Process calculus Algebra Bisimulation Model theory Operator Mathematics Theoretical computer science Algebraic structures
672	BRICS RSKrukow et al.: A Framework for Concrete Reputation-Systems BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-08-08 07:50:05 Electronic commerce Online shopping EBay BRIC Ambient intelligence Browse Trust Feedback Time Science Ethology Knowledge
673	BRICS Basic Research in Computer Science BRICS RSKlarlund et al.: The DSD Schema Language and its Applications The DSD Schema Language and Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-02-19 19:21:26 HTML element Markup languages Technical communication SXML CookXml Computing Knowledge representation Tree
674	BRICS Basic Research in Computer Science BRICS RST. S. Hune: Modeling a Language for Embedded Systems in Timed Automata Modeling a Language for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-08-04 07:20:49 Embedded system RCX Electronics Robot kits Lego Mindstorms Robotics
675	BRICS Basic Research in Computer Science BRICS RSBrodal et al.: Finding Maximal Pairs with Bounded Gap Finding Maximal Pairs with Bounded Gap Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-28 05:16:54 Suffix tree Tree Binary tree Mathematics Computing Computer programming Scapegoat tree Set theory Maximal pair String
676	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-22 09:34:21 Proof theory Computability theory Functions and mappings Reverse mathematics Mathematical proofs Primitive recursive function Gödel–Gentzen negative translation Primitive recursive arithmetic Second-order arithmetic Mathematics Mathematical logic Logic
677	BRICS Basic Research in Computer Science BRICS RS-99-8 Havelund et al.: Formal Verification of a Power Controller Using UPPAAL Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-07-01 10:19:37 Embedded system Transmission Control Protocol Computer architecture Interrupts Interrupt
678	BRICS RSAceto et al.: Bisimilarity is not Finitely Based over BPA with Interrupt BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-11-21 16:35:43 Theoretical computer science Applied mathematics Process calculus Bisimulation Mathematics Algebraic structures Algebra
679	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
680	Societal Challenges Secure, Clean and Efficient Energy Type of Actions • Research and Innovation Actions – may include basic and applied research, technology Add to Reading List Source URL: www.seai.ie Language: English - Date: 2013-12-19 07:51:58 Building engineering Low-energy building Sustainable architecture Sustainability Green building Energy economics Architecture Sustainable building Construction

UPDATE